Reasoning about naming systems
نویسندگان
چکیده
منابع مشابه
Reasoning about Reactive Systems
The main concern of this thesis is the formal reasoning about reactive systems, that is, systems that repeatedly act and react in interaction with their environment without necessarily terminating. When describing such systems the focus is not on what is computed but rather on the interaction capabilities over time. Moreover, reactive systems are usually highly concurrent, typically spatially d...
متن کاملReasoning About Interactive Systems
The unifying ground for interactive programs and component-based systems is the interaction between a user and the system or between a component and its environment. Modeling and reasoning about interactive systems in a formal framework is critical for ensuring the systems’ reliability and correctness. A mathematical foundation based on the idea of contracts permits this kind of reasoning. In t...
متن کاملReasoning About Quantum Systems
A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identifying quantum models with superpositions of classical models. This novel approach to quantum logic is completely different from the traditional approach of Birkhoff and von Neumann. It has the advantage of making quantum logic ...
متن کاملReasoning about Linear Systems
We consider reasoning about linear systems expressed as block diagrams in a general relational setting. Using the notion of additive relation borrowed from homological algebra, the theory of weakest pre-conditions for these systems turns out to be very tractable and gives simple Hoarestyle rules for the block diagram constructors. Many natural choices for the logical language used to express pr...
متن کاملAssertional Reasoning about Dynamic Systems
The desire to model in a straightforward manner complex features of real physical systems is often tempered by difficulties associated with reasoning about the resulting computational models. UNITY, Swarm and Dynamic Synchrony are three models of concurrency that accommodate successively more dynamic systems: from systems that can be characterized in terms of a fixed set of actions to systems i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1993
ISSN: 0164-0925,1558-4593
DOI: 10.1145/161468.161471